Noetherian Spaces in Verification
نویسنده
چکیده
Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimulated the search for infinite procedures à la Karp-Miller.
منابع مشابه
Order-theoretic Properties of Bases in Topological Spaces I
We study some cardinal invariants of an order-theoretic fashion on products and box products of topological spaces. In particular, we concentrate on the Noetherian type (Nt), defined by Peregudov in the 1990s. Some highlights of our results include: (1) There are spaces X and Y such that Nt(X×Y ) < min{Nt(X), Nt(Y )}. (2) In several classes of compact spaces, the Noetherian type is preserved by...
متن کاملGo-spaces and Noetherian Spectra
The Noetherian type of a space is the least κ for which the space has a κop-like base, i.e., a base in which no element has κ-many supersets. We prove some results about Noetherian types of (generalized) ordered spaces and products thereof. For example: the density of a product of not-too-many compact linear orders never exceeds its Noetherian type, with equality possible only for singular Noet...
متن کاملNoetherian Quasi-Polish spaces
In the presence of suitable power spaces, compactness ofX can be characterized as the singleton {∅} being open in the space A(X). Equivalently, this means that universal quantification over a compact space preserves open predicates. Using the language of represented spaces, one can make sense of notions such as a Σ 2 subset of the space of Σ 2 -subsets of a given space. This suggests higher-ord...
متن کاملSober Spaces, Well-Filtration and Compactness Principles
We investigate various notions of sobriety for topological spaces that are equivalent in ZF set theory with the Axiom of Choice but may differ in the absence of choice principles. The Ultrafilter Principle UP (alias Prime Ideal Theorem) suffices for the desired conclusions. We derive from UP three topological postulates and prove their equivalence in ZF without choice: the Well-Filtration Princ...
متن کاملQuotients by groupoids
The main result of this note is the following: (all relevant terms will be defined shortly. The spaces are algebraic spaces of finite type over a locally Noetherian base, unless otherwise mentioned.)
متن کامل